Compositional Choreographies

نویسندگان

  • Fabrizio Montesi
  • Nobuko Yoshida
چکیده

We propose a new programming model that supports a compositionality of choreographies. The key of our approach is the introduction of partial choreographies, which can mix global descriptions with communications among external peers. We prove that if two choreographies are composable, then the endpoints independently generated from each choreography are also composable, preserving their typability and deadlock-freedom. The usability of our framework is demonstrated by modelling an industrial use case implemented in a tool for Web Services, Jolie.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Configurable analysis of sequential multi-party choreographies

For Business-To-Business integration (B2Bi) scenarios, the application of choreography and orchestration technology has become a core technique for resolving discrepancies between the interaction logic of individual partners and the intended overall message flow. While orchestrations govern the message exchanges of each single partner, choreographies define constraints and requirements for the ...

متن کامل

Conformance Test of Federated Choreographies

Web Services technology is constantly gaining importance for automation of business processes. A major contribution of this technology is its integration capability, i.e. compositions allowing several autonomous but cooperating web services to implement a business process going beyond the boundaries of a single organization. Federated choreographies provide a framework for modular modeling comp...

متن کامل

Behavior Alignment and Control Flow Verification of Process and Service Choreographies

The representation of process and service choreographies has been recognized as an important requirement in service-oriented methodologies. The guarantee of alignment between process and service choreographies and the verification of the behavior of choreographies represent an important improvement for such methodologies, since they enable the automatic generation of choreography service specif...

متن کامل

Service Referrals in BPEL-based Choreographies

Choreographies describe the interactions between two or more services from a global perspective and specify allowed service conversations. Choreographies typically do not rely on static binding, i.e. the participating services are not selected at design-time of the choreography. Some services might only be selected at runtime and this selection has to be propagated in the case of multi-lateral ...

متن کامل

The PiVizTool: Simulating Choreographies with Dynamic Binding

This paper presents a tool, the PiVizTool, for the interactive simulation of choreographies. Different participant instances can be added, deleted, and dynamically bound during the simulation. The PiVizTool uses the π-calculus as the formal foundation for representing dynamic binding. It provides an interactive graphical representation of complex choreographies that can be simulated according t...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2013